-
1 несводимое доказательство
Русско-английский технический словарь > несводимое доказательство
-
2 несводимое доказательство
Русско-английский словарь по вычислительной технике и программированию > несводимое доказательство
-
3 доказательство
proof матем.* * *доказа́тельство с.
proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without proofдоказа́тельство предлага́ется привести́ чита́телю — proof will be left to the readerдедукти́вное доказа́тельство — deductive proofко́свенное доказа́тельство — indirect proofдоказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect inductionнесводи́мое доказа́тельство — irreducible proofнестро́гое доказа́тельство — nonrigorous proofдоказа́тельство от проти́вного — proof by contradictionдоказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustionстро́гое доказа́тельство — rigorous proofдоказа́тельство существова́ния — existence proof* * * -
4 несводимый
-
5 схема доказательства
Русско-английский большой базовый словарь > схема доказательства
-
6 схема доказательства
Русско-английский новый политехнический словарь > схема доказательства
-
7 схема доказательства
Русско-английский военно-политический словарь > схема доказательства
-
8 доказательство
Русско-английский словарь по информационным технологиям > доказательство
-
9 несводимый
-
10 несводимый
Русско-английский новый политехнический словарь > несводимый
-
11 несводимый
-
12 несводимый
Русско-английский словарь по информационным технологиям > несводимый
-
13 несводимое доказательство
irreducible proof мат.Русско-английский научно-технический словарь Масловского > несводимое доказательство
-
14 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
15 наглядное доказательство
Русско-английский большой базовый словарь > наглядное доказательство
-
16 строгое доказательство
-
17 косвенное доказательство
Русско-английский новый политехнический словарь > косвенное доказательство
-
18 доказательство
1. proof2. evidenceБизнес, юриспруденция. Русско-английский словарь > доказательство
-
19 представить доказательства
Русско-английский большой базовый словарь > представить доказательства
-
20 привести доказательства
Русско-английский военно-политический словарь > привести доказательства
- 1
- 2
См. также в других словарях:
Distributive lattice/Proofs — Lemma 1Every totally ordered set is a distributive lattice with max as join and min as meet.ProofWe will show: : x vee (y wedge z) = (x vee y)wedge(x vee z)We may suppose yle z (If not, zle y and we may switch y and z.) Recall that yle z is… … Wikipedia
Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
Finite field — In abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements. Finite fields are important in number theory, algebraic geometry, Galois theory, cryptography, and… … Wikipedia
Character theory — This article refers to the use of the term character theory in mathematics. For the media studies definition, see Character theory (Media). In mathematics, more specifically in group theory, the character of a group representation is a function… … Wikipedia
Feit–Thompson theorem — In mathematics, the Feit–Thompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by Walter Feit and John Griggs Thompson (1962, 1963) Contents 1 History 2 Significance of the proof … Wikipedia
Holonomy — Parallel transport on a sphere depends on the path. Transporting from A → N → B → A yields a vector different from the initial vector. This failure to return to the initial vector is measured by the holonomy of the connection. In differential… … Wikipedia
Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… … Wikipedia
Intelligent design — This article is about intelligent design as promulgated by the Discovery Institute. For other uses, see Intelligent design (disambiguation). For the philosophical argument from design , see Teleological argument … Wikipedia
Clifford theory — For the result about curves, see Clifford s theorem on special divisors. In mathematics, Clifford theory, introduced by Clifford (1937), describes the relation between representations of a group and those of a normal subgroup. Alfred H. Clifford… … Wikipedia
Geometrization conjecture — Thurston s geometrization conjecture states that compact 3 manifolds can be decomposed canonically into submanifolds that have geometric structures. The geometrization conjecture is an analogue for 3 manifolds of the uniformization theorem for… … Wikipedia